Rename locals to match their nature.
authorEli Zaretskii <eliz@gnu.org>
Tue, 1 Nov 2011 19:19:07 +0000 (21:19 +0200)
committerEli Zaretskii <eliz@gnu.org>
Tue, 1 Nov 2011 19:19:07 +0000 (21:19 +0200)
commitf12cece9c1028d4468c19e9b2ed67b0fb9be2927
tree3ecfb5afdc2abcb4daf53f0668d3748bcc9b350e
parentdf25499a37d31d589271c8260d396267c408999f
Rename locals to match their nature.

 src/xdisp.c (mouse_face_from_buffer_pos, note_mouse_highlight): Rename
 cover_string to disp_string.
src/ChangeLog
src/xdisp.c